Non-unicité pour des opérateurs différentiels à caractéristiques complexes simples

Sur la théorie spectrale locale des shifts à poids opérateurs

Nous étudions les propriétés spectrales locales du shift unilateral à poids opérateurs. Nous donnons une condition nécessaire et suffisante pour que l’adjoint satisfasse la propriété de l’extension unique (SVEP). Une condition suffisante pour satisfaire la propriété de Dunford (C) ainsi qu’une condition nécessaire pour satisfaire la condition de Bishop (β) seront données. Enfin, nous montrons q...

Etude de l'utilisation des formules d'Obrechkoff pour la résolution numérique des problèmes différentiels avec conditions initiales

Stabilité Polynômiale des Corps Différentiels

A notion of complexity for an arbitrary structure was defined in the book of Poizat Les petits cailloux (1995): we can define P and NP problems over a differential field K. Using the Witness Theorem of Blum et al., we prove the P-stability of the theory of differential fields: a P problem over a differential field K is still P when restricts to a sub-differential field k of K. As a consequence,...

Étude des formes lexicographiques des fonctions booléennes simples, représentation à l'aide de l'opérateur U

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Caractéristiques arithmétiques des processeurs graphiques

Résumé Les unités graphiques (Graphic Processing Units — GPU) sont désormais des processeurs puissants et flexibles. Les dernières générations de GPU contiennent des unités programmables de traitement des sommets (vertex shader) et des pixels (pixel shader) supportant des opérations en virgule flottante sur 8, 16 ou 32 bits. La représentation flottante sur 32 bits correspond à la simple précisi...